APMS contracts

The Track to Suncheon: Making APMs Intelligent

On Verifying Resource Contracts using Code Contracts

In this paper we present an approach to check resource consumption contracts using an off-theshelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Since dynamic memory may be recycled by a memory manager, the consumption of this resource is not monotone. The specification language can express both ...

Psychological Contracts Book Section Psychological Contracts

LSE has developed LSE Research Online so that users may access research output of the School. Copyright © and Moral Rights for the papers on this site are retained by the individual authors and/or other copyright owners. Users may download and/or print one copy of any article(s) in LSE Research Online to facilitate their private study or for non-commercial research. You may not engage in furthe...

Retractable Contracts

In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agreement between the communicating parties. If the interaction fails, the past agreements are good candidates as points where to roll back, in order to take a different agreement. We propose a variant of contracts with s...

Satisficing Contracts

We propose a model of equilibrium contracting between two agents who are “boundedly rational” in the sense that they face time costs of deliberating current and future transactions. We show that equilibrium contracts may be incomplete and assign control rights: they may leave some enforceable future transactions unspecified and instead specify which agent has the right to decide these transacti...